index($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$index(es{-}eq(${\it es}$);IdLnkDeq;es{-}pred?(${\it es}$);es\_info(${\it es}$);1of(es{-}oaxioms(${\it es}$));$e$)